type A = string;